Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
401	C:umenttk44.phil.dvi Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2007-06-04 11:02:06 Non-classical logic Interpretation Philosophy of mind Semantics Modal logic Logic Model theory Philosophical logic
402	Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit∗ January 28, 2009 Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2010-04-22 21:09:45 Modal logic Non-classical logic Kripke semantics Sheaf theory Saul Kripke Entailment Tiny Encryption Algorithm Constructible universe Bisimulation Logic Philosophical logic Metalogic
403	On a General Bayesian Pattern Logic of Frequency-Based Logical Inclusion Fallacies Momme von Sydow ([removed]) Department of Psychology, Georg-August-Universität Göttingen, Gosslerstr. 14, D Add to Reading List Source URL: crisp.psi.uni-heidelberg.de Language: English - Date: 2012-10-08 08:01:34 Logical fallacies Bayesian statistics Probability interpretations Non-classical logic Philosophy of mathematics Conjunction fallacy Probabilistic logic Representativeness heuristic Bayesian inference Logic Statistics Science
404	The Metaphysics and Logic of Ibn Sina icennaA Bibliography Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2015-02-16 06:04:48 Unani medicine Avicenna Ethicists Islamic philosophy Al-Shahrastani Averroes Al-Farabi The Theology of Aristotle Metaphysics Philosophy Islam Classical antiquity
405	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
406	93 ECAI 2014 T. Schaub et al. (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2014-09-27 08:52:53 Non-classical logic Metalogic Interpretation Modal logic Symbol First-order logic Logic Mathematical logic Model theory
407	The Metaphysics and Logic of Ibn Sina icennaA Bibliography Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2014-05-19 11:32:49 Unani medicine Avicenna Ethicists Islamic philosophy Al-Shahrastani Averroes Al-Farabi The Theology of Aristotle Metaphysics Philosophy Islam Classical antiquity
408	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-12-07 03:34:42 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
409	Heylighen F[removed]): "Classical and Non-classical Representations in Physics II: Quantum mechanics", Cybernetics and Systems 21, p[removed]Classical and Non-Classical Representations in Physics II: Quantum Mechanics Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:32 Quantum state Quantum superposition Observable Hilbert space Schrödinger equation Wave function Operator Position operator Quantum probability Physics Quantum mechanics Quantum logic
410	RESEARCH NETWORKING PROGRAMME THE PHILOSOPHY OF SCIENCE IN A EUROPEAN PERSPECTIVE (PSE) Scientific report of the workshop organised by Team E (History of Philosophy of Science) in 2010 Add to Reading List Source URL: www.pse-esf.org Language: English - Date: 2012-12-21 03:43:50 Philosophy of science Quantum mechanics Epistemology Interpretation Non-classical logic Probability interpretations Logic Probability Ludwig Boltzmann Science Knowledge Mathematics

UPDATE